航天嵌入式软件数组越界缺陷特征研究

根据统计,数组越界是航天嵌入式软件开发过程中出现最多且最容易被遗漏的缺陷类型之一.目前自动化检测数组越界多基于抽象解释、符号执行、程序模型检验等方法,这些方法在误报、漏报、可扩展性等方面的表现依赖于软件及缺陷特征.分析了近三年航天嵌入式软件第三方测试中发现的94个数组越界问题,从缺陷模式和缺陷表现形式两方面分析得出10项航天嵌入式软件数组越界缺陷特征,并提出对设计具体检测方法关键的若干启示.进一步基于这些特征和启示探讨了数组越界检测算法针对中断驱动型程序的改进方向.     

面向快速响应产品的星上目标定位及识别方法

针对遥感卫星星上目标的定位及识别，本文面向快速响应应用需求，首先对星上目标定位及识别工作模式进行研究，总结出狭义和广义两种模式，其次重点对像方-物方坐标双向定位算法进行梳理，并针对典型地物目标星上自动识别算法提出研究思路，最后给出算法的应用方法流程。本文研究为快速响应产品星上智能处理提供方法参考。     

单向电永磁作动器结构优化与动态特性分析

针对电磁作动器的使用要求，设计出一种具有能耗低、吸力大及响应快等特点的新型单向电永磁作动器。结合有限元仿真软件，利用有限元法研究作动器的结构参数如铁芯齿形结构、平面结构、无永磁结构、铁芯的倾斜角度及衔铁位移（气隙厚度）等因素对作动器电磁吸力和响应速度的影响。结果表明，电磁吸力随着作动衔铁位移的增加而大幅度减小；倾角结构的铁芯设计能使作动器性能达到最佳，且铁芯的倾斜角度为50°时，电磁吸力有最大值3071N。     

Last FY-2 Series Satellite Successfully Launched on A LM-3A

正A LM-3A launch vehicle lifted off from the Xichang Satellite Launch Center at21:07 Beijing time on June 5,launching the FY-2H satellite into orbit.This was the 277th flight mission of the LM family launch vehicle.FY-2H was the last flight unit of the     

异构无人系统协同作战关键技术综述

针对异构无人系统的规模、异构性强弱，对异构无人系统进行了分类，引入了异构无人系统协同作战班组的概念以及应用设想，并通过城市环境中异构无人系统协同作战问题为牵引，提出了异构无人系统协同作战面临的挑战与解决思路，在此基础之上，从异构无人系统协同控制架构、协同任务规划、智能交互、目标感知、环境感知等主要方面对异构无人系统协同作战的关键技术进行了分析，最后对异构无人系统协同作战目前的研究进展与挑战进行了总结。     

多臂空间机器人的视觉伺服与协调控制

针对多臂空间机器人自主目标抓捕任务，首先建立多臂空间机器人的运动模型和其与目标的相对运动模型，采用Kane方法建立多臂空间机器人的动力学模型；其次，研究基于视觉伺服的机械臂在线轨迹规划算法，并引入零反作用机动，消除机械臂运动对平台姿态的扰动；再次，在不使用零反作用机动功能时，分别使用基于角动量前馈补偿的协调控制算法和逆动力学方法设计了协调控制器，在机械臂运动时保持平台姿态和相对目标的位置。最后，开发了基于Matlab的仿真软件MASS（多臂空间机器人仿真），仿真结果校验了上述方法的有效性。     

温湿度传感器检定系统设计

本文介绍了利用电子扫描开关,可一次检定多只温湿度传感器的检定系统的硬件和软件设计。     

健美操教学中学生的情绪调控

健美操是以身体训练为基本手段，以有氧运动为基础达到增进健康、塑造形体和娱乐目的一项体育运动，通过对其健美操课调查研究和理论分析，对学生的“学”在健美操课教学过程中如何进行不同类型的心理调整和探讨，使学生的学习效果上了一个台阶，使掌握的程度又快又准。     

通用仪器接口总线标准及软件技术的发展

叙述了通用仪器接口总线标准和软件技术的现状和未来。介绍了ＧＰＩＢ、ＶＸＩ总线，程控仪器校准命令和虚拟仪器，给出了ＧＰＩＢ标准关系图，ＧＰＩＢ软件结构以及虚拟仪器框图。     

江北机场空中交通流量之减少等待问题初探

随着民用航空业的迅速发展，世界各国的交通系统面临着越来越严重的航线拥挤，时常造成航班延误或等待。在能源曰益紧缺和油价飞涨的今天，各大航空公司正面临着巨大考验。怎样才能避免和减少等待，在保证安全的同时实现经济利益最大化这些问题正被国内外学者关注。